You have chosen Archimedes, Haskell B. Curry and Archimedes.
All three must be different; choose another philosopher.